圖同構(gòu)的交互式 證明系統(tǒng) graph isomorphism: 同構(gòu)system isomorphism: 系統(tǒng)同構(gòu)interactive system: 對話系統(tǒng); 交互系統(tǒng); 人機聯(lián)作系統(tǒng)resolution proof graph: 分解證明圖proof system: 證明系統(tǒng)下載手機詞典可隨時隨地查詞查翻譯
